﻿@font-face {
  font-family: 'Ubuntu';
  src: local('Ubuntu'), url(http://fontstatic.useso.com/s/ubuntu/v7/_xyN3apAT_yRRDeqB3sPRg.woff) format('woff');
}
body {
	margin:0;
	padding:0;
	font-size:12px;
	overflow:auto;
	background-image: url(../debian.jpg);
	background-size:100% 100%;
    font-family: 'Ubuntu';
}
#mainDiv {
    width: 50.5em;
    margin-left: auto;
    margin-right: auto;
	margin-top: 6%;
}
#menu-bar {
	opacity:0.9;
	width: 50.5em;
	height: 2em;
	background: #fff;
	border-top-left-radius: 0.5em;
	border-top-right-radius: 0.5em;
	text-align: center;
}
#menu-text {
	position: relative;
	padding-top: 0.3em;
	font-size: 14px;
	font-weight: 700;
}
#content {
	width: 50.5em;
	height: 33.5em;

}
#code{
	background: black;
	opacity:0.9;
	border: solid 0.25em white;
	float:left;
	width:49em;
	height:32em;
	color:#FFF;
	font-size:12px;
	padding: 0.5em;
}
#code .keyword{color:#7f0055;font-weight:bold}
#code .comments{color:#3f7f5f}
#copyright{margin-top:10px;text-align:center;width:100%;color:#666}
#errorMsg{width:100%;text-align:center;font-size:24px;position:absolute;top:100px;left:0}
#copyright a{color:#666}
